Comment 2 for bug 309116

The removal of that file is obviously a mistake (I think it's a residue of a previous merge) since there's no reason to remove something that a package didn't install.

Thanks for reporting. I'll fix it.