make script executable

Francesco Pasa 1 month ago