installed more signal handlers in main()