git needs to delete some files...