diff --git a/alire.toml b/alire.toml
index 9889ab02a..ce1d6d435 100644
--- a/alire.toml
+++ b/alire.toml
@@ -69,7 +69,7 @@ commit = "56bbdc008e16996b6f76e443fd0165a240de1b13"
 
 [pins.den]
 url    = "https://github.com/mosteo/den"
-commit = "a277b897c346e1ba326233b654354ff91ab93de0"
+commit = "58eaaa99a4db8117295681919310ee073d5e7ddc"
 
 [pins.dirty_booleans]
 url    = "https://github.com/mosteo/dirty_booleans"
diff --git a/deps/den b/deps/den
index a277b897c..58eaaa99a 160000
--- a/deps/den
+++ b/deps/den
@@ -1 +1 @@
-Subproject commit a277b897c346e1ba326233b654354ff91ab93de0
+Subproject commit 58eaaa99a4db8117295681919310ee073d5e7ddc
diff --git a/scripts/ci-github.sh b/scripts/ci-github.sh
index 4320a1393..53d36e9dd 100755
--- a/scripts/ci-github.sh
+++ b/scripts/ci-github.sh
@@ -52,12 +52,7 @@ gnatls -v
 echo ............................
 
 echo "ALR VERSION (at $(which alr)):"
-ls -alF bin
-chmod +x bin/alr*
-alr -d version || \
-alr -vv -d version || \
-bin/alr -d version || \
-bin/alr.exe -d version || true
+alr -d version
 echo ............................
 
 # Set up index if not default:
@@ -68,15 +63,11 @@ fi
 
 echo "ALR SETTINGS (global):"
 alr settings --global
+echo ............................
 
 echo ALR SEARCH:
 # List releases for the record
-alr -q -d search --list --external || \
-{
-    echo "Failed to list releases, retrying verbosely..."
-    alr -vv -d search --list --external
-    exit 1;
-}
+alr -q -d search --list --external
 echo ............................
 
 echo TESTSUITE: