Workaround for Travis CI failures