duplicate of tribler_profiler.py