Either way, replacing NetworkManager with wicd resolves the problem.
sudo apt-get install wicd
After you've done that,
wicd-client
will start in your tray on the next login.If you want, you can also configure it through the
wicd-curses
interface. One oddity, though, is that the curses interface is case-sensitive.