yet another fix to travis