bullzip: handle 64 bit correctly