make run.sh work without exec bits
make run.sh work without exec bits

if executable bits get somehow lost as suggested in commit a58dc745aac
we also need to consider this for the run.sh

bmwiedemann/trimtester,algolia/trimtester,algolia/trimtester,bmwiedemann/trimtester