Patch to make it work on Ubuntu 14.04 64 bit