git rid of useless file