This otherwise-empty directory is needed.