removed some old extensions