usr/lib/coq/user-contrib/AAC_tactics/*.cmo
DYN: usr/lib/coq/user-contrib/AAC_tactics/*.cmxs