add_deprecated_alias does not work at all, so lets avoid it. Anyway,
the remaining affected configuration items are not very commonly used.
This works around #5266.