disabling Travis for PHP 5.3 for now...