Don't use real filenames in example