/* We are using a release version, not a Git snapshot.  */