markSignalHandlers(): implementation was unnecessary, and had a bug