distfile with different contents put this this one is its own DIST_SUBDIR to avoid confusing which one is used.