I adapted this patch from the gentoo patch by Vincent Danan (https://bugzilla.redhat.com/show_bug.cgi?id=511994).  I used uint64_t for the (necessary 8-byte) type, rather than the lisp.h ugliness listed there.