workaround for #825

The bad news is, this leaks temp files.