Add pavement.py from upstream