diff --git a/distrib/scripts/create_archives.sh b/distrib/scripts/create_archives.sh
index 6bc3163d58..8819977abf 100755
--- a/distrib/scripts/create_archives.sh
+++ b/distrib/scripts/create_archives.sh
@@ -59,7 +59,7 @@ getfilelist(){
   fi
 
   if [ $port = "mgl" ] || [ $port = "all" ]; then
-    filelist="$filelist mgl.rsp"
+    filelist="$filelist univ.rsp mgl.rsp"
   fi
 
   if [ $port = "dfb" ] || [ $port = "all" ]; then