3 files changed, 5 insertions, 3 deletions
diff --git a/reproduce/software/config/servers-backup.conf b/reproduce/software/config/servers-backup.conf
index 04ad406..bb3f8db 100644
--- a/reproduce/software/config/servers-backup.conf
+++ b/reproduce/software/config/servers-backup.conf
@@ -10,5 +10,6 @@
 # this notice are preserved.  This file is offered as-is, without any
 # warranty.
 http://gitlab.cefca.es/maneage/tarballs-software/-/raw/master
+http://archive.org/download/maneage-tarballs
 http://gitlab.com/maneage/tarballs-software/-/raw/master
 http://git.maneage.org/tarballs-software.git/plain
diff --git a/reproduce/software/make/high-level.mk b/reproduce/software/make/high-level.mk
index 0f6f63d..c6dcf90 100644
--- a/reproduce/software/make/high-level.mk
+++ b/reproduce/software/make/high-level.mk
@@ -2236,6 +2236,7 @@ $(ibidir)/util-linux-$(util-linux-version): \
 $(ibidir)/xlsxio-$(xlsxio-version): \
                  $(ibidir)/cmake-$(cmake-version) \
                  $(ibidir)/expat-$(expat-version) \
+                 $(ibidir)/libbsd-$(libbsd-version) \
                  $(ibidir)/minizip-$(minizip-version)
 	tarball=xlsxio-$(xlsxio-version).tar.gz
 	$(call import-source, $(xlsxio-url), $(xlsxio-checksum))
diff --git a/reproduce/software/shell/bashrc.sh b/reproduce/software/shell/bashrc.sh
index d88b84a..5534f3d 100755
--- a/reproduce/software/shell/bashrc.sh
+++ b/reproduce/software/shell/bashrc.sh
@@ -62,13 +62,13 @@ if [ x$PROJECT_STATUS = xshell ]; then
     # A small introductory message.
     echo "----------------------------------------------------------------------"
     echo "Welcome to the Maneage interactive shell for this project, running"
-    echo " $(sh --version | awk 'NR==1')"
+    echo "  $(sh --version | awk 'NR==1')"
     echo
     echo "This shell's home directory is the project's build directory:"
-    echo " HOME: $HOME"
+    echo "  HOME: $HOME"
     echo
     echo "This shell's startup file is in the project's source directory:"
-    echo " $PROJECT_RCFILE"
+    echo "  $PROJECT_RCFILE"
     echo
     echo "To return to your host shell, run the 'exit' command."
     echo "----------------------------------------------------------------------"