fix compile issue on x64 linux machine (gcc 4.7.2)