fixes to dockerbuild