these .c files live in $(srcdir), not in $(builddir)