Major bug fixes:

- correct the pointer size
- correct function names (a lot of functions are renamed in the CUDA driver ABI after 4.0)