Yet another fix to travis