[DISTS] Add another file extension to ignore