Fix benchmark compilation breakage