void parameter -> not wrapped

We found today a mysterious thing with EWG. We wrapped
SDL_mixer.h into Eiffel, which has the following function:

extern DECLSPEC void SDLCALL Mix_HookMusicFinished(void
(*music_finished)(void));

As you can see, there is a (void) parameter given to
this function. This is equal to:

extern DECLSPEC void SDLCALL Mix_HookMusicFinished(void
(*music_finished)());

Well, under Windows, the first function above was
wrapped correctly (latest CVS version) as
void_void_anonymous_callback_callback.e (+ dispatcher)

Under Linux, the first function did not generate any
callback for this function. As we modified the header
to the second one (which is equal), the function was
wrapped as under Windows.

So we request you to have a look at this void-parameter
thing so it is wrapped equal on every system.

Thanks in advance