Makefile for Openatrium