Matthew, Mark, thanks for replying. I ended up editing the Makefile of /usr/ports/math/goblin to set PREFIX = /opt/local, and installed the port. Still, it seems to me that the ability to install a package to a different prefix is, occasionally, useful. What was the reason for removing it from pkg, when pkg_add had it? Kostas