ido-ubiquitous causes a bug: remove it