Update dockerfile for dox/debian minimal images