Index: Makefile
===================================================================
--- Makefile	(revision a6da9fbb12405ec31a8be2050dbf6bfe4990f2aa)
+++ Makefile	(revision 212bc4cfc05af2d41fae2b2719132ae52a71e45c)
@@ -122,8 +122,8 @@
 				./mkdisk
 
-run:			buchla
+run:			buchla buchla.disk
 				./buchla
 
-val:			buchla
+val:			buchla buchla.disk
 				valgrind --leak-resolution=high --track-fds=yes --leak-check=full \
 				--show-reachable=yes --suppressions=misc/buchla.supp ./buchla