Thanks a lot for this tip. It's a much more elegant solution than copying /usr from a backup, witch copies lots of stuff you don't need at all into your /usr directory. And there's less chance of turning your little white machine into a brick.