Workaround for broken sudo in Ubuntu 14.10 docker image.