+# - XFLAGS=/DFUZZING
+# Builds a version of PuTTY with some tweaks to make fuzz testing
+# easier: the SSH random number generator is replaced by one that
+# always returns the same thing. Note that this makes SSH
+# completely insecure -- a FUZZING build should never be used to
+# connect to a real server.