INST: removed unused file