Fudge around the binary name in python