add some includes and namespaces specifications to make compiler happy in progressive cactus