FIX: minor Windows-specific code was leaking on other platforms.