Implemented setting the file encoding for the compiler tool from the config file ("defaults.encoding")