Allow spaces in isworkbench.bash