--- singular-4.1.1/Singular/links/ndbm.cc.orig	2018-07-31 07:05:52.000000000 -0600
+++ singular-4.1.1/Singular/links/ndbm.cc	2018-10-24 08:39:16.614020655 -0600
@@ -280,7 +280,7 @@ datum dbm_nextkey(DBM *db)
         db->dbm_flags |= _DBM_IOERR;
 #endif
     }
-    if (((short *)db->dbm_pagbuf)[0] != 0)
+    if (db->dbm_pagbuf[0] != 0 || db->dbm_pagbuf[1] != 0)
     {
       item = makdatum(db->dbm_pagbuf, db->dbm_keyptr);
       if (item.dptr != NULL)