Another Travis CI bug