Node ids are 64-bit even on 32-bit machines
Add missing include in runtime.h