removes previously compiled extension