Remove legacy configuration options.

They were not used anyway.