fix_gcc_options.patch
fix_classpath_in_build_xml.patch
patch_tex_docs.patch
fix_classpath_in_build_tracer_xml.patch
