trying to fix Travis CI