What I would suggest to do instead if: - continue to install under /opt/gap-<date> - make a link: ln -s /opt/gps-<date> /opt/gap - put /opt/gap/bin in the PATH in e.g. /etc/profile This way, /opt/gap always points to the latest GAP install, and people can still refer to /opt/gap-<date> manually. This scheme works fine today. Arno