diff --git a/makepanda/makepanda.py b/makepanda/makepanda.py
index 08c800798e..f7fdb3b29f 100755
--- a/makepanda/makepanda.py
+++ b/makepanda/makepanda.py
@@ -1020,10 +1020,9 @@ if (COMPILER=="GCC"):
             LinkFlag("PYTHON", "-s USE_BZIP2=1 -s USE_SQLITE3=1")
             if not PkgHasCustomLocation("PYTHON"):
                 python_libdir = GetThirdpartyDir() + "python/lib"
-                if os.path.isfile(python_libdir + "/libmpdec.a"):
-                    LibName("PYTHON", python_libdir + "/libmpdec.a")
-                if os.path.isfile(python_libdir + "/libexpat.a"):
-                    LibName("PYTHON", python_libdir + "/libexpat.a")
+                for lib in "libmpdec.a", "libexpat.a", "libHacl_Hash_SHA2.a":
+                    if os.path.isfile(python_libdir + "/" + lib):
+                        LibName("PYTHON", python_libdir + "/" + lib)
 
         if GetTarget() == "linux":
             LibName("PYTHON", "-lutil")