semaphore: Use handles to properly handle semaphore double-delete.

semaphore: Use handles to properly handle semaphore double-delete. #1971