Bugs in Tools Dockerfile