Minor Docker build fixes.