gccxml-ns3 and pygccsml are to be built