Miner: Dig Deep: Patch for crash when closing

This patch fixes a problem where the game would sometimes freeze until it crashed while shutting down. Thank you to the player who helped us track this problem down :-)