RE: Default name of target executable