Makefile change for Ubuntu 14.04