Added encodings file and fixed defaultlibrary