RE: specifying the name of the executable under Windows