Argh. Creating a file whose filename with a leading space is a royal pain. Ended up using a Python script just to see what was going on.