Three letter name space is getting crowded

[Pertti Kellomäki <pk@cs.tut.fi>]

I was quite surprised when I tried to start up PVS on my workstation
and received:
	usage: /usr/bin/sparcv9/pvs [-dlnorsv] [-N Name] file(s)

The pvs man page on our system says:

-------------------------------------------------------------------
User Commands                                              pvs(1)

NAME
     pvs - display the internal version  information  of  dynamic
     objects
-------------------------------------------------------------------

It seems that Sun is trying to hijack the pvs command.
-- 
Pertti Kellom\"aki, Tampere Univ. of Technology, Software Systems Lab