Work around the fact that curl --output doesn't handle filenames with spaces