removing defunct old encoding