diff --git a/build_pico_fido.sh b/build_pico_fido.sh
index c74225e..4faa108 100755
--- a/build_pico_fido.sh
+++ b/build_pico_fido.sh
@@ -3,9 +3,7 @@
 VERSION_MAJOR="5"
 VERSION_MINOR="12"
 SUFFIX="${VERSION_MAJOR}.${VERSION_MINOR}"
-if [[ -z "${GITHUB_SHA}" ]]; then
-;
-else
+if ! [[ -z "${GITHUB_SHA}" ]]; then
     SUFFIX="${SUFFIX}.${GITHUB_SHA}"
 fi
 
diff --git a/workflows/autobuild.sh b/workflows/autobuild.sh
index 5130fa1..9cb1c3a 100755
--- a/workflows/autobuild.sh
+++ b/workflows/autobuild.sh
@@ -9,7 +9,7 @@ git submodule update --init
 cd ..
 git clone https://github.com/raspberrypi/picotool
 cd picotool
-git submodule update --init lib/mbedtls
+git submodule update --init
 mkdir build
 cd build
 cmake ..