The Linux version was benchmarked with gettimeofday() while the Windows one with QueryPerformanceCounter. The first has a lower resolution of 10 micros and as such the benchmark is not comparable.
They should be using the following API if they're going to use the system time to measure time differences:
clock_gettime(CLOCK_MONOTONIC, ×pec);
It's a really good clue that a timing function is inappropriate for benchmarking when the man page talks about time zones.