fix compilation error on 32 bit due to unused variable