fix misnamed executable