better handling of sigwinch