fix: changes in primdecint.lib