fix for detecting already cloned krait repository