mingw64 port: make program nauty compile