Temporarily disabled php-5.4 runs