fix variable conflict issue in primdecint.lib
merged with spielwiese.patched