Hacks to disable SIGWINCH temporarily...