Maybe I should just reinstall then. It will take several days with my connection, so I am slightly reluctant to do so.
