faulthandler (in C) gets the fileno of sys.stderr as its output stream