Make server work with more modern version of PHP 5