Not the case! First, i have done a clean install. Second, if i open the manage extensions, the version i see is the new one, not the previous.