How to get the name of an opened semaphore?