diff --git a/jenkins-build b/jenkins-build
index 0bc0b6f1..3c8546d4 100755
--- a/jenkins-build
+++ b/jenkins-build
@@ -1,11 +1,13 @@
 #!/bin/bash
+# bash is required because we need bash's printf to guarantee a cross-platform
+# timestamp format.
 
 set -e
 set -x
 
 if [ -z $ANDROID_HOME ]; then
-    if [ -e ~/.android/bashrc ]; then
-        . ~/.android/bashrc
+    if [ -e ~/.android/bashrc-ant-build ]; then
+        . ~/.android/bashrc-ant-build
     else
         echo "ANDROID_HOME must be set!"
         exit
diff --git a/make-release-build b/make-release-build
index 41166c4a..33980f86 100755
--- a/make-release-build
+++ b/make-release-build
@@ -27,8 +27,8 @@ fi
 
 
 if [ -z $ANDROID_HOME ]; then
-    if [ -e ~/.android/bashrc ]; then
-        . ~/.android/bashrc
+    if [ -e ~/.android/bashrc-ant-build ]; then
+        . ~/.android/bashrc-ant-build
     else
         echo "ANDROID_HOME must be set!"
         exit