post_upgrade() {
  echo 'Save states from 0.8.x and earlier are not compatible with 0.9.x,
  [...] The configuration file name has changed to "mednafen-09x.cfg"
  [...] http://mednafen.sourceforge.net/releases/'
}