Another attempt to fix Travis CI builds