fix up docker build.