Compiling WinHugs (on Windows) in 2006, in 2020