--- /sys/lib/dist/pc/mkfile	Tue Jul 30 07:20:55 2013
+++ /sys/lib/dist/pc/mkfile	Wed Jul 31 19:48:02 2013
@@ -83,6 +83,7 @@
 usbdisk:D: /n/sources/plan9
 	cd $scr
 	mkusbboot -s 1900 -r /n/sources/plan9 && mv image $target
+	rm -f $target.gz
 	gzip -9 $target
 	pwd
 	ls -l $target*
--- /sys/lib/dist/pc/subst/plan9.ini	Tue Jul 30 01:38:35 2013
+++ /sys/lib/dist/pc/subst/plan9.ini	Wed Jul 31 19:48:56 2013
@@ -3,6 +3,7 @@
 [menu]
 menuitem=install, Install Plan 9 from this CD
 menuitem=cdboot, Boot Plan 9 from this CD
+# menuitem=debug, Boot Plan 9 from this CD and debug 9load
 
 [common]
 # very cautious settings to get started.
@@ -33,3 +34,8 @@
 [cdboot]
 bootargs=local!#S/sdD0/data
 bootfile=sdD0!cdboot!9pccd.gz
+
+# [debug]
+# bootargs=local!#S/sdD0/data
+# bootfile=sdD0!cdboot!9pccd.gz
+# *debugload=1