No reason to keep the old peda.py