--- src/etc/fricas.old	2023-07-30 15:05:09.551404486 +0200
+++ src/etc/fricas	2023-07-30 15:20:29.491405181 +0200
@@ -128,17 +128,6 @@
 
 otheropts=""
 
-if [ ! -f $FRICAS/lib/viewman ] ; then
-    echo "viewman not present, disabling graphics"
-    otheropts="-nogr"
-fi
-
-if [ ! -f $FRICAS/bin/hypertex ]; then
-    echo "hypertex  not present, disabling"
-    otheropts="$otheropts -noht"
-fi
-
-
 while [ "$*" != "" ] ; do
     opt=$1
     case $1 in
@@ -226,7 +215,15 @@
         ciao
 fi
 
-# 6. Start processes
+if [ ! -f $FRICAS/lib/viewman ] ; then
+    echo "viewman not present, disabling graphics"
+    otheropts="-nogr $otheropts"
+fi
+
+if [ ! -f $FRICAS/bin/hypertex ]; then
+    echo "hypertex  not present, disabling"
+    otheropts="-noht $otheropts"
+fi
 
 if [ $go = no ] ; then
     echo "Would now execute the following."
@@ -236,4 +233,6 @@
     exit 0
 fi
 
+# 6. Start processes
+
 eval "exec $FRICAS/bin/sman $otheropts -ws $serverws"