I think Debian should reserve /opt for compatibility with third-party packages that were intended for other distributions. No Debian package should install in /opt. Thanks Bruce -- Can you get your operating system fixed when you need it? Linux - the supportable operating system. http://www.debian.org/support.html Bruce Perens K6BP bruce@debian.org NEW PHONE NUMBER: 510-620-3502