Run tests using PHP 5.4 as well