Remove unused config_util files: fixes #304