Add encoding option to scala compiler