Forgotten in previous commit.
Improve white-space handling in preprocess.sh script