Use docker to do Linux builds in a virtual Debian 6 container.