benchmark fix and 64-bit build