Another attempt to workaround Travis CI