Somehow these files weren't in the repo