Dockerfile for debian image