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