encoding in Builder.py + new build