Add encoding definition in zonegen.py