diff --git a/util/vgabios/Makefile b/util/vgabios/Makefile
index 1c0f3920fe..4c5ebacf63 100644
--- a/util/vgabios/Makefile
+++ b/util/vgabios/Makefile
@@ -17,5 +17,11 @@ testbios: $(OBJECTS) $(LIBS)
  
 helper_exec.o: helper_exec.c test.h
 
+x86emu/src/x86emu/libx86emu.a:
+	$(MAKE) -C x86emu/src/x86emu/ -f makefile.linux
+
 clean:
 	rm -f *.o *~ testbios
+
+distclean: clean
+	$(MAKE) -C x86emu/src/x86emu/ -f makefile.linux clean