Recompiled to 64-bit binary