added correct Coq icon