Presumably we don't want the output to end up in the `tools` directory?