yet another fix for travis