compatibility with newer sudo versions

In particular, the double quotes break sudo in Ubuntu 12.04, but that works on
Ubuntu 10.04.