Fixing the exe name of the host

Fixes #1727