Updating executable name (thanks Moritz)