grovevishal

A quick "make docker" should reproduce this issue for anyone. @robdt: Do you have a setup to generate new Dockerfile ?