I have added a debug shell command "make shell" which gives me a correctly configured shell in the openlane docker container and prints the command I would have to use to build the user_proj_example: https://github.com/thesourcerer8/caravel-stdcelllib-stdcells/blob/release/openlane/Makefile