Fixed up Dockerfile to hopefully produce a reliable environment