Increasing required PHP version to overcome a big in PHP 5.4.3 on Windows