sudo is needed for the Debian7 Docker image