I somehow thoroughly screwed up my connection to the cvs site at sourceforge. After about an hour of pain, I think it's back to normal, but anyone using that stuff please beware and let me know if you notice something messed up.