Makefile with linux vmi linked (but not used).
typo