Fix Travis CI configuration