Update to STRePSyls