tweaked the formatting of the docker file so that we still get a bash shell.