#no_install_rpath_use_link_path.diff
#avoid_nameclash.patch
kubuntu_fix_build_ocaml_4.04.diff
