Added option to use PHP 5.5