fix Travis CI configuration