Patched driver, compiles on Ubuntu 12.04