Patch for new mines

This patch fixes a problem where new mines would still be the same.
Each new mine is now randomly generated.