Add patch to build on Ubuntu-14.04.