Fix CoqIDE compilation under standard version of lablgtk2

We use the win32 specific function only if WIN32 is defined