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