removal of a useless file