No, flask guesses it. Flask gets it wrong if we're being `execfile`'d by `pyprof2calltree`.