trying to fix Travis CI build