Fix os.mknod() for 64-bit runtimes