do not enforce a minor version of PHP5.3