Refs #7: pass shell arguments differently on Windows