config: don't define the same symbol twice