*.cmi                     /usr/lib/coq/user-contrib/AACTactics/
*.mli                     /usr/lib/coq/user-contrib/AACTactics/
OPT: *.cmx                /usr/lib/coq/user-contrib/AACTactics/
OPT: *.cmxa               /usr/lib/coq/user-contrib/AACTactics/
OPT: *.a                  /usr/lib/coq/user-contrib/AACTactics/