Update primdec.lib