Better official images for PHP >= 5.4