gecode
                                
                                 gecode copied to clipboard
                                
                                    gecode copied to clipboard
                            
                            
                            
                        win32: Use `_WIN32` and not `WIN32` for preprocessor
In some build configurations, the use of WIN32 fails and these were the only locations in the code using that formulation.
Use _WIN32 instead.