[perf.sh] Fix after bootstrap changes (#3083)
[perf.sh] Fix after bootstrap changes (#3083)

* [perf.sh] Fix after bootstrap changes

It seems the `perf.sh` script got broken after the bootstrap changes,
this PR fixes it.

Signed-off-by: Emilio Jesus Gallego Arias <a1debd7f3d9036292773dd21463eb601946b38d8@x80.org>
Signed-off-by: Arseniy Alekseyev <81716b89e7c53c56e819cd55a9370136d1adf7d1@janestreet.com>
dra27/jbuilder,dra27/jbuilder,dra27/jbuilder,janestreet/jbuilder,janestreet/jbuilder,dra27/jbuilder,janestreet/jbuilder,janestreet/jbuilder,dra27/jbuilder,dra27/jbuilder,janestreet/jbuilder,janestreet/jbuilder