Make it work on Ubuntu 12.04