Fix demo for 64-bit