another fix to Travis config