Fixes to discover.ml: calling the linker with compiler flags is bad and ...

...causes failures under Windows.