After switching to Debian Wheezy, we don't need to build Python since
the version provided by the distribution is recent enough.