PAMSC 14.0: duplicate token in seos.ini