Move export.c to src/