Fix sudo alias (see: http://askubuntu.com/a/22043).