HoTT/HoTT — pull request #285 by ymn (2013-12-11 04:14:37+00:00)
Title: Running a command through /usr/bin/env.

Now we don't have to look for it in a specific place on the system, as those paths may be in different locations on different systems.