<div dir="ltr"><div><div><div>Hi Volker, forgot to add that also echo $BASH reports /usr/bin/bash<br><br>Davide.</div></div></div></div>