Correctly saving profiling information  in Firefox plugin