-R _build/default/theories MyPlugin
-I _build/default/src
# src/META.clash-extr
# -R theories/ Clashextr
# -I src