switch to bash for sudo instead of plain shell for ubuntu-12.10-*-packages