Various benchy.py fixes.
Use full import