to to fix bug causing ProB to crash if there is a special character (french, umlaut, space) in the path to rodin