change all enif_get_uint64() to enif_get_ulong() since uint64() does not compile with uint64_t on all platforms.