[no issue] remove extraneous file