Remove an old useless file