remove spurious unused file