Updated spoofax libs