The following option needs to be added to the -help
(in standard/resources/standard.properties) in Tiger. The option was
implemented in Mantis, but is not to be documented until Tiger.

-notimestamp Do not include hidden time stamp in output\n