Use uint64_t for storing the memory usage.
Fixes #2