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