FWIW, as far as I can tell, I have 10.1 but it’s installed in /usr/local/cuda-10.0. i.e., there is no /usr/local/cuda-10.1 whereas there is e.g. /usr/local/cuda-9.2.
And S4TF seems to work just fine.
This is what nvidia-smi tells me:
nvidia-smi
Thu May 2 22:14:58 2019
+-----------------------------------------------------------------------------+
| NVIDIA-SMI 418.40.04 Driver Version: 418.40.04 CUDA Version: 10.1 |
|-------------------------------+----------------------+----------------------+