diff -urpN override_node_options/override_node_options.install override_node_options_patched/override_node_options.install
--- override_node_options/override_node_options.install	1970-01-01 01:00:00.000000000 +0100
+++ override_node_options_patched/override_node_options.install	2008-12-17 15:54:32.000000000 +0000
@@ -0,0 +1,19 @@
+<?php
+// $Id: $
+
+/**
+ * Implementation of hook_install().
+ */
+function override_node_options_install() {
+  // nothing to do
+}
+
+/**
+ * Implementation of hook_uninstall().
+ */
+function override_node_options_uninstall() {
+  db_query("DELETE FROM {variable} WHERE name LIKE 'override_node_options_%'");
+  db_query("DELETE FROM {system} WHERE name = 'override_node_options'");
+  // TODO we could be leaving permissions in the permission table, but they're tricky to remove
+}
+