Star catalog install does not update data

One of my friends tried to install a star catalog, but the program does not update the number of stars, or, more precisely he cannot see the faintest stars (up to mag 12). He is stuck at catalog "4" and cannot update to "5" (I guess). He says it displays the same text "Get catalog 5 from 9" after he already tried to update it.

I have no info yet about his system, but maybe it is Windows 7 and Stellarium is the latest version (I will ask him).

Anyway, on my system I have stars*.cat files, the last one is stars_3_1v0_3.cat, its size is 4190 kB. Is that the "star catalog 5" file? I thought its name should be something like stars_5. My Stellarium says "Get catalog 6 from 9, its size is about 41 MB".