Fix up Makefile for Ubuntu 12.04