dang, I think the right thing to do here is have the Makefile generate a `proteus_env.sh` file.  I obviously got halfway through this idea but never finished it.