rar2john: switched vint handing from 32 bit to 64 bit in rar5 code