Workaround execSyn install issue