Fix install.php for PHP 5.5.