fix final Cygwin problem for randomly generated segfaults - #120
fix final Cygwin problem for randomly generated segfaults - #120

pahihu/kona,0branch/kona,kirbyfan64/kona,igaray/kona,0branch/kona,kirbyfan64/kona,kevinlawler/kona,singaraiona/kona,kaostao/kona,joebo/kona,joebo/kona,moussazeghida/kona,moussazeghida/kona,pahihu/kona,joebo/kona,moussazeghida/kona,pahihu/kona,kirbyfan64/kona,igaray/kona,igaray/kona,0branch/kona,kevinlawler/kona,kaostao/kona,singaraiona/kona,kaostao/kona