minor changes to Dockerfile to make things a bit more efficient for multiple
builds...