Changed Debian repo reference in Dockerfile