let sources_glob = Glob.parse "<*.ml> or <*.mli> or <*.c> or <*.h>"