Make sure the sources get distributed (use EXTRA_DIST)