Fixed travis options and config.