docker build failed

[bat-serjo]

Building the docker image fails

Successfully built wllvm
Installing collected packages: wllvm
Successfully installed wllvm-1.2.8
You are using pip version 9.0.3, however version 22.3.1 is available.
You should consider upgrading via the 'pip install --upgrade pip' command.
+ mkdir /root/go
+ go get github.com/SRI-CSL/gllvm/cmd/...
# github.com/SRI-CSL/gllvm/shared
/go/src/github.com/SRI-CSL/gllvm/shared/compiler.go:193:18: undefined: os.CreateTemp
/go/src/github.com/SRI-CSL/gllvm/shared/extractor.go:469:21: undefined: os.MkdirTemp
/go/src/github.com/SRI-CSL/gllvm/shared/extractor.go:609:21: undefined: os.MkdirTemp
/go/src/github.com/SRI-CSL/gllvm/shared/extractor.go:621:18: undefined: os.CreateTemp
/go/src/github.com/SRI-CSL/gllvm/shared/extractor.go:645:19: undefined: os.CreateTemp
/go/src/github.com/SRI-CSL/gllvm/shared/extractor.go:780:13: undefined: os.WriteFile
/go/src/github.com/SRI-CSL/gllvm/shared/extractor.go:786:13: undefined: os.WriteFile
The command '/bin/sh -c ./build/install_tools.sh' returned a non-zero code: 2