Try to fix Travis CI