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