minor: remove useless file