Fixed ripemd export issue