Merge changes from github.
Change: 135698415
diff --git a/util/python/python_config.sh b/util/python/python_config.sh
index c326033..d75a4d6 100755
--- a/util/python/python_config.sh
+++ b/util/python/python_config.sh
@@ -46,7 +46,7 @@
 }
 
 function python_path {
-  python - <<END
+  $PYTHON_BIN_PATH - <<END
 from __future__ import print_function
 import site
 import os
@@ -80,7 +80,7 @@
 }
 
 function default_python_path {
-  PYTHON_ARG="$1" python - <<END
+  PYTHON_ARG="$1" $PYTHON_BIN_PATH - <<END
 from __future__ import print_function
 import os