Trying Travis with PHP 5.2