Minor tweaks to docker build file