visitor: Change the default tab-width on Windows