On Windows, use the system clipboard as the default scratch buffer