Added missing file to EXTRA_DIST