dirmngr: Remove unused file.