Index: boot/arch/amd64/Makefile.inc
===================================================================
--- boot/arch/amd64/Makefile.inc	(revision cfdeedc55a55b7c1fc8de8b3faea55104ff3f641)
+++ boot/arch/amd64/Makefile.inc	(revision 8781e9d05ac3f6aeaa3ad709c5af9efa3209b87a)
@@ -70,4 +70,5 @@
 	$(USPACE_PATH)/app/wavplay/demo.wav
 
-BOOT_OUTPUT = $(ROOT_PATH)/image.iso
-BUILD = Makefile.grub
+POST_OUTPUT = $(ROOT_PATH)/image.iso
+BUILD = Makefile.empty
+POSTBUILD = Makefile.grub
