python: Make EXTRA_DIST files explicit