Fix file tree cache benchmark building (#2077)
Fix file tree cache benchmark building (#2077)

Fix file tree cache benchmark building
janestreet/jbuilder,dra27/jbuilder,janestreet/jbuilder,janestreet/jbuilder,janestreet/jbuilder,janestreet/jbuilder,dra27/jbuilder,dra27/jbuilder,dra27/jbuilder,dra27/jbuilder,janestreet/jbuilder,dra27/jbuilder