--- ../drupal-7.x-dev/modules/overlay/overlay.install	2009-12-02 07:28:22.000000000 +0000
+++ modules/overlay/overlay.install	2009-12-08 15:32:07.265625000 +0000
@@ -14,6 +14,10 @@
  */
 function overlay_enable() {
   if (strpos(current_path(), 'admin/config/modules') === 0) {
+    system_rebuild_theme_data();
+    drupal_theme_rebuild();
+    cache_clear_all('system_list', 'cache_bootstrap');
+
     drupal_goto('<front>', array('fragment' => 'overlay=admin/config/modules'));
   }
 }