9766e32c01
work right when the administrator has modified their runtime environment in a manner not anticipated by our script. Requested by: Tom Maher <tardis@ece.cmu.edu>