Remove now useless file