fixing compilation error for 64bit architecture