make script executable

Francesco Pasa 3 months ago