Off list someone asked me the kernel version. rwplocal@download0:/srv/audio-video/video$ uname -a Linux download0 3.13.0-165-generic #215+7.0trisquel3 SMP Mon Feb 4 21:35:59 UTC 2019 x86_64 x86_64 x86_64 GNU/Linux
But this kernel is already 20 years knewer than when this has always worked before. Bob