fix_whitespace_st.sh: fix support for files with spaces in their names