Made it possible to change the default encoder in one spot