Add note to warn that the wzrd.in compiled version has a slightly different name