[9fans] usbinstamd64 file system full

[Adriano Verardo]

Hi, all
On my Dell3010 and Tecnint PcBox the compilation of sources doesn't complete
due to the lack of space on the usb key.
I tried

du -a / > du_before # on a key just loaded (3005 free blocks)
du -a / > du_after  # on the same key after the failure (0 free blocks)
wc du_before du_after
diff du_before du_after

Looking at the diff output it seems that some (wc says 187) compiled 
executables
are installed onto the key instead of the target hdd.

Hoping this is useful.

adriano :-)