merge [82960] to release, fixes #7663

svn path=/branches/release/INSTALL; revision=83381