Re-enable PHP 5.4