fix #383

leads to changes in
dmod.lib,finvar.lib,involut.lib,primdec.lib,sheafcoh.lib
still to be fixed: modstd.lib,primitiv.lib,hnoether.lib,zeroset.lib