fix variable conflict issue in primdecint.lib