temporary workaround for Spoofax/812