Travis uses old Ubuntu with PHP 5.3, adding another attempt to workaround