Index: Makefile
===================================================================
--- Makefile	(revision a6da9fbb12405ec31a8be2050dbf6bfe4990f2aa)
+++ Makefile	(revision 40b2112f950ce38dbe25f417ce7e748f5295e292)
@@ -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