remove HELM, it terrible for ido; add ido-hacks