mingw64 port: ntl, system