delete of an old useless file