Ido stuff already on prelude and removes unused packages