hal2000 is not found!