Fix Makefile to work on Ubuntu 12.04