Couldn't find “halc” automatically.