I’m in the same situation. Did you have any success building pbs in your docker containers? I’ve gotten a little farther than what you described. One of my co-workers once managed to get openpbs to build in the docker container but we can’t get it to build again.