Use filename-friendly date format for saved files (bug 8445)