> Yes. Put something else (like the name of your dog, your cat, > your fish, or your second-grade teacher there instead). even if I didn't name vmlinux and System.map with an extra name?