try to fix Travis CI build