Report version number on mini dumps