temporary solution for Spoofax/757