diff '--color=auto' -Naur fricas_old/src/lib/pixmap.c fricas/src/lib/pixmap.c
--- fricas_old/src/lib/pixmap.c	2024-01-03 20:33:40.943900908 +0100
+++ fricas/src/lib/pixmap.c	2024-01-03 20:20:44.984723419 +0100
@@ -148,5 +148,8 @@
   xi = XGetImage(dsp, wid, x, y, width, height, AllPlanes, ZPixmap);
   if (xi==0) return ;
   status=XpmWriteFileFromImage(dsp,fn,xi,0,0);
-
+  if (status != XpmSuccess) {
+    fprintf(stderr, "write_pixmap_file: unable to write %s\n", filename);
+    exit (1);
+  }
 }
diff '--color=auto' -Naur fricas_old/src/lib/sockio-c.c fricas/src/lib/sockio-c.c
--- fricas_old/src/lib/sockio-c.c	2024-01-03 20:33:40.943900908 +0100
+++ fricas/src/lib/sockio-c.c	2024-01-03 20:02:09.357188635 +0100
@@ -605,7 +605,6 @@
 double
 get_float(Sock *sock)
 {
-  int val;
   double num = -1.0;
   val = fill_buf(sock, (char *)&num, sizeof(double), "double");
 #ifdef DEBUG