removed doubly deprecated file