Allow specification of output filename to profiler