Fix #699 - mouse control chars in stderr