Do not use PHP 5.3 for Travis