Add ec9.c and add it to Makefile