CTAN update: polynom v0.17