rust-lang/rust — pull request #15100 by rapha (2014-06-22 23:19:07+00:00)
Title: Change /bin/env to /usr/bin/env in helper python script.

/usr/bin/env appears to be more portable.