const char *PISM_Revision = PISM_REVISION;