I did an svn update of DrScheme, rebuilt it, and then found DivaScheme needed to be reinstalled. Is that normal?