Patch to make it works on Ubuntu 14.04