Frama-C/WP (21 Beta) does not recognise provers

I have install Frama-C 21 (Beta) including Why3 1.3.1. I also called why3 config --detect but when running WP on an example I receive the following messages

[kernel] Parsing find.c (with preprocessing)
[rte] annotating function find
[wp] Warning: native support for coq is deprecated, use tip instead
[wp] User Error: Prover 'z3' not found in why3.conf
[wp] User Error: Prover 'cvc3' not found in why3.conf
[wp] User Error: Prover 'cvc4' not found in why3.conf
[wp] User Error: Prover 'alt-ergo' not found in why3.conf

Attached is my why3.conf file

why3.conf