Location of tool after launch a container

[MRBXCD]

Hi, I am now trying to use bugzoo in my research and I encountered some questions.

I wonder the path to a loaded tool. When I launch a container with certain bug and load genprog as a tool via bugzoo container launch --with genprog \manybugs:libtiff:2005-12-14-6746b87-0d3d51d, I can not find the path to the genprog in the launched container. I found the path in $PATH, which is /opt/genprog/bin, however, the path actually does not exist. How could I solve this problem?

Thanks in advance for the reply.