patch to fix build on Ubuntu 14.04