Revert "removed another executable"

This reverts commit 8ee1cd848557d017df5359afb1d6b7eda3c9e198.