Also, considering the user might be referring to an older issue, I should mention that the game is over 20 years old, so community patches and mod solutions are more common than official fixes. This approach would guide the user towards using community resources or tools to resolve the bug.