Google's plugin for the Internet Explorer refuses to play
files with another document version.

Fixes ticket #3583.