Honor DESTDIR in sys/python.sh