Result storage: remove URL encoding from file paths before
storing/loading them : such encoding should be unnecessary for
filesystem storage, and makes "File name too long" IOErrors more likely.