Then core needs fixing too. Or people need understanding? Because when you say "emptying the cache" some might think that's simply TRUNCATE cache. Which, accidentally, DID rebuild the menu in Drupal 5.