make.php: suppress deplicated error on PHP 5.5