fix profiler_output() with shorter filename