Switch to PHP >= 5.4.0 instead of PHP 5.5.0