This seems to have been due to some problem with my disk. I let windows repair it and now the problem is gone.