It is date(1) instead of ctime(3) that prints the time zone name.
--
Clyde W. Hoover @ Univ. of Texas Computation Center; Austin, Texas
(Shouter-To-Dead-Parrots)
"The ennui is overpowering" - Marvin
clyde at ut-ngp.{UUCP,ARPA} clyde at ut-sally.{UUCP,ARPA} ihnp4!ut-ngp!clyde