travis with toolset