As you know, why3 stores some of its executables in `<prefix>/bin` and some in `<prefix>/lib/why3/commands`. Also, we (SPARK team) use the `--enable-relocation` mode of why3, where the `libdir` and `datadir` are computed from the executable location, as opposed to being hard-coded on compilation (see e.g. the code in `config.sh.in`). The same path computation is used for both types of binaries, which obviously can't work. Do you have any idea how to overcome this issue? Until now we (unknowingly) worked around this issue by copying the binaries that we need to `<prefix>/bin`, and I wanted to clean that up.