Re: python executable name [OT]