Fix up some configs for travis