Remove obsolete code for Windows, supposedly