Fix a 64bit Linux bug
Fix a 64bit Linux bug

wolftune/hoogle,wolftune/hoogle,BartAdv/hoogle,BartAdv/hoogle,ndmitchell/hoogle,BartAdv/hoogle,BartAdv/hoogle,ndmitchell/hoogle,ndmitchell/hoogle,wolftune/hoogle,wolftune/hoogle