Force cast on 64-bit arch