Those headers come from CUDA SDK.

To update, install CUDA SDK locally:
```
sudo apt-get install cuda
```

Copy cuda.h, version.txt and libdevice.10.bc:
```
cp /usr/local/cuda/include/cuda.h ./include/
cp /usr/local/cuda/version.txt  .
cp /usr/local/cuda/nvvm/libdevice/libdevice.10.bc ./nvvm/libdevice/
```