removing _CoqProject