Revision 1202

These files have timing code in them.  You have to change
the variable  $timer* from 0 to 1 in order to have the times
reported.
--Mike