added Tracer extension. various other fixes