Rollback of: "Merge changes from github."
Change: 117304114
diff --git a/configure b/configure
index 0faf61c..2d7ec77 100755
--- a/configure
+++ b/configure
@@ -1,4 +1,4 @@
-#!/usr/bin/env bash
+#!/bin/bash
 
 ## Set up python-related environment settings
 while true; do