I don't think this hurts anything since it was already a missing file. Your change should bring us up with the status quo so I'll merge.