I hope this will save some people some grief.

If you install Ubuntu 12.10, and you want to install a proprietary video driver,
install linux-headers-generic first. For me, this was the difference between a
working system and a broken one.