Use latest PHP 5.3 for travis build