Just an FYI - good experience today building 4.01.0 from source on Windows-8.1 professional x64 and the Windows SDK for Windows 7 following "README.win32 " section, "The native Win64 port built with Microsoft Windows SDK". The only wrinkle was a need to comment L367 of Makefile.nt (@chmod -w utils/config.ml) - some problem with chmod not working right with this OS. By the way, sorry in advance if this question has come up before... Where is information like this best sent to these days - is there a github issues tracker or some-such?