- add "-L theories" to options of why3realize for PVS
- look for the full installation path in the output of "isabelle
  components"