Issue #755. Yet another patchwork path hack. Tested on Windows XP and OSX.
BUG: Improve hack. Issue #755. execute_file fails if filename has spaces
BUG: Do need to quote some quotes in %run, so quote them all.
(Still do not support both single and double quotes in the same filename.)
Using %run to execute a file seems like the only reasonable thing to do. It's a shame that escaping the quotes doesn't work better, but what can you do?
Anyway, thanks for the fix.