sc_RegionTimer(3) on Linux

The text 854580723b52, as Debian 4.0 (Etch) shipped it.

The RegionTimer class is used to record the time spent in a section of code.

sc_RegionTimer(3) on Linux now