g++ added and official coq repo used