making build with docker optional, use DOCKER to build with makebuild