new file:   Bin/distinfo
	new file:   Bin/kernel?