Fix compilation issue with criterion-1.