Remove (presumably) useless file (in this context).