fix up the configs for travis