--- 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)