Easiest way to read ADC values in latest Debian 'stretch'?

I am migrating some Python code from an old Debian BBB with kernel
3.8.13 to a new one running Debian 'stretch' and kernel 4.9.88-ti-r107.

The Adafruit-BBIO library would appear not to work in this newer
kernel.

Is there a quick/easy/dirty way to read the ADC values (in Python)?
The raw value would be fine, I don't need it normalised or anything.

debian@test-bbb-3:~$ uname -r
4.14.53-ti-rt-r62

debian@test-bbb-3:~$ cat /sys/bus/iio/devices/iio\:device0/in_voltage*
3887
3225
3887
2042
2127
2967
3037
3861

Regards,