Output encoded bytecode files