Hi Steven,
I just notice that bjam measures time (via `timestamp_current()`) on non-Windows systems by simply calling `time()`, rather than something more precise such as `gettimeofday()`. Do you know why ?
Thanks,
-- ...ich hab' noch einen Koffer in Berlin...