fix Travis CI