Re: Default name of target executable