diff -ru libgcrypt-1.8.2.orig/configure libgcrypt-1.8.2/configure
--- libgcrypt-1.8.2.orig/configure	2017-12-13 14:54:17.000000000 +0100
+++ libgcrypt-1.8.2/configure	2018-05-05 00:17:43.366304238 +0200
@@ -13074,6 +13074,10 @@
         PRINTABLE_OS_NAME="GNU/Linux"
         ;;
 
+    *-midipix*)
+        PRINTABLE_OS_NAME="Midipix"
+        ;;
+
     *)
         PRINTABLE_OS_NAME=`uname -s || echo "Unknown"`
         ;;