Configuring Eclipse TPTP (a.k.a PQP) profiler on Linux