Index: /soft/giet_vm/Makefile
===================================================================
--- /soft/giet_vm/Makefile	(revision 271)
+++ /soft/giet_vm/Makefile	(revision 272)
@@ -76,4 +76,5 @@
 DHRYSTONE_OBJS = build/dhrystone/dhry_1.o \
                  build/dhrystone/dhry_2.o \
+                 build/libs/stdlib.o      \
                  build/libs/stdio.o       \
                  build/libs/string.o      \
@@ -88,5 +89,5 @@
 
 
-CFLAGS = -Wall -ffreestanding -mno-gpopt -mips32 
+CFLAGS = -Wall -ffreestanding -mno-gpopt -mips32
 
 GIET_INCLUDE = -Igiet_boot    \
@@ -116,5 +117,5 @@
 
 ### Disk image generation
-### This requires the generic LINUX/MacOS sript "create_dmg" script 
+### This requires the generic LINUX/MacOS script "create_dmg" script 
 ### written by C.Fuguet. (should be installed in GIET-VM root directory).
 hdd/virt_hdd.dmg: map.bin                   \
@@ -386,3 +387,4 @@
 	rm -rf build/sort/*
 	rm -rf build/map.bin
+	rm -rf hdd/virt_hdd/*
 	rm -rf hdd/virt_hdd.dmg