Some POSIX signal handling