#1 The release tarball is csmith-2.1.0.tar.gz, but, the name of tool is Csmith. Is that fine?
Yep.
#2 Can you also please change the FSF address in the following header files?
Ha-- we must have an old license. Thanks, John