remove unused config option (issue #5358)