The bug with the mines is random, and doesn't happen to everyone. I never experienced it.

Just make sure to save your game prior to entering the mines.