fixed a typo
Modified the timing code to either work for systems with gettimeofday( )
or MS Windows systems without gettimeofday( )