mingw64 port: make program normaliz compile