Use release version of phpmachinist