This normally empty directory needs to be kept in the distribution.