Attempt to fix Travis CI issues