Patchwatcher is down for the moment - I mistakenly tried using proprietary nvidia drivers, forgetting that my nvidia card is too old to be supported, and don't have time this morning to recover. I'll fix it tonight.