Fix minor compilation issue with get-timing-stats