No one has reported such a problem, the only possible interaction I could see is from the Bink player not shutting down. To disable the Bink player, Just rename your AVI folder to AVI_back.
Most likely it is a non related issue however.
Most likely it is a non related issue however.