remove unused ido/etags stuff