Fix some non-64-bit-ness in database.c