add bash to run nusmv