encoding for compile_file