--- Lib.orig/distutils/sysconfig.py 2013-05-12 05:32:42.000000000 +0200 +++ Lib/distutils/sysconfig.py 2013-11-03 18:03:53.000000000 +0100 @@ -76,6 +76,7 @@ def get_python_inc(plat_specific=0, pref """ if prefix is None: prefix = plat_specific and EXEC_PREFIX or PREFIX + prefix = re.sub('@@STAGING_HOST_DIR@@', '@@STAGING_TARGET_DIR@@', prefix) if os.name == "posix": if python_build: