thumb: shave off another few bytes