Most tools are only targeted at developers. It's fine to run them
from the build folder (running make install once is still needed)
to avoid polluting bin/.