Why are these needed? Only the `src` files below are included.