Try to fix Travis CI build