[PATCH] Make double-free checks 64-bit safe, from Sebastian Freundt