default_paths.core_dir no longer used in menu code