one more old import to change in boltztrap.py