Rename coverage file and provide a macro to override the GitHub tarball's directory