Fix "make distcheck"
Fix bug#60.  Consistently use original path to executable when restarting.  Do not resolve links.