Try another fix for Travis.