Another attempt to fix Travis CI build