Does PHP 5.2 works with Travis ?