Diante da perspectiva de ter que trabalhar no Windows 7 (mesmo computador, quase nunca usada opção de dual boot), e não gostar em geral, eu tentei atualizar para o Ubuntu 12.04. Não funcionou. Por alguma razão, eu suspeito que isso tem que ser feito em um ambiente gráfico.
Então eu insisti, consegui um LiveCD e fiz o upgrade dele. Fez muito bem e agora eu tenho um trabalho 12.04.
Não é uma resposta ao meu problema original, mas pode ser considerada uma solução.