win32, dos: Work around a bug in the GNU toolchain.