Don't export double-dot filenames. [finishes #63803394]