Update dockerfile for dox/ubuntu/precise