Update Makefile for Ubuntu 13.10