Add several files remaining from the previous commits.