Hmm 32bit

fixes issue #14