Fix error with int size on 64bit platform