fix compile error for 64-bit