explictly specified the PHP version to be used