fix: primdecint.lib from spielwiese