Add Python-2.7.2-default-is-optimized.patch