Makefile for the export