travis: another fix