survex.py: v8 support