fixed accidental option modifications in primdec.lib