This executable is not included in the distribution.
