Note that some demos, such as the hlacerti demos, require certain environment variables to be set. If, under Mac OS, Vergil is invoked by clicking on Vergil.app, then these environment variables will not be set. The workaround is to invoke Vergil using $PTII/bin/vergil.
To fix this, the hlacerti manager should have attributes that are used to find the certi installation and then set the environment of any subprocesses that are created.