Actually it stopped working in version 5.7 of EiffelBuild.