FILES	= hinv linux
