Re: [Python-Dev] pyconfig.h and exec-prefix