Use TimingUtil.h for all time measurement,
and make TimingUtil.h Windows-compatible