Updating doc to reflect new executable name

[ci skip]