This file must exist, because git does not allow empty directories to be commited.