john-jumbo: fix 64-bit method