Added Makefile.WINDOWS64, kindly provided by Lin Ming