removing now useless file