Use prctl to name thread on Linux