administrative: rm unused file