keep compilable with EiffelStudio <= 7.1