diff --git a/lib/bin/build_lib b/lib/bin/build_lib
index 093a33d6..3da8413b 100755
--- a/lib/bin/build_lib
+++ b/lib/bin/build_lib
@@ -132,8 +132,10 @@ _prepare_config() {
 
     if [[ $platform = windows ]]; then :
     else
+        # autoreconf installs a useless INSTALL documentation stub that can overwrite repo docs.
+        [[ -e INSTALL ]] && mv INSTALL{,~}
         autoreconf --verbose --install --force 2> >(sed 's/^\([^:]*\):[0-9]\{1,\}: /\1: /')
-        [[ -e .git ]] && git checkout @ -- INSTALL # autoreconf installs a useless INSTALL documentation stub that can overwrite repo docs.
+        [[ -e INSTALL~ ]] && mv INSTALL{~,}
     fi
 
     touch "$prefix/out/.prepared"