fix Travis CI config