diff --git a/BitKeeper/etc/logging_ok b/BitKeeper/etc/logging_ok
index 35236489aa..b161bf43af 100644
--- a/BitKeeper/etc/logging_ok
+++ b/BitKeeper/etc/logging_ok
@@ -12,6 +12,7 @@ br260@br260.wolfson.cam.ac.uk
 br260@labyrinth.cl.cam.ac.uk
 br260@laudney.cl.cam.ac.uk
 bren@anvil.research
+bren@br260.wolfson.cam.ac.uk
 cl349@arcadians.cl.cam.ac.uk
 cl349@freefall.cl.cam.ac.uk
 cl349@labyrinth.cl.cam.ac.uk
diff --git a/Makefile b/Makefile
index b7229fc9a7..29b6203313 100644
--- a/Makefile
+++ b/Makefile
@@ -166,6 +166,7 @@ uninstall:
 	rm -rf $(D)/usr/share/doc/xen  $(D)/usr/man/man*/xentrace*
 	rm -rf $(D)/usr/bin/xen* $(D)/usr/bin/miniterm
 	rm -rf $(D)/boot/*xen*
+	rm -rf $(D)/lib/modules/*xen*
 
 # Legacy targets for compatibility
 linux24: