Fix header search for Ubuntu 14.04