Minor patch for some issues

A small patch has just been released that fixes the following:

• Fixed a crash when loading some mines.
  
• Control changes can now be reset to their defaults by pressing the F5 key. (In case a recovery is needed due to a bad control setup.)