Update spoofax libs