Re: [PATCH 3/5] Don't unconditionally use clock_gettime in {ecc, hogweed}-benchmark