Delete a couple of old (unused) files.