fix broken compile on 64-bit