Enable PHP 5.5