bash script: restart in case of crash