Workaround for Travis CI complaining about a missing package