Use PHP 5.5.11 too