Fix the travis-ci config file