Changes for key compression in hamsterdb pro