Fixes: Workaround installation bug of IE7 caused by version bump
