Pastable version of Generate a numbered file name