libndis.a - NdisAllocateMemory@16

Hello,

I try compile some Windows driver with mingw with
w32api 2.2.
This driver uses NdisAllocateMemory function.
When linking compiled source, linker report error
undefined symbol NdisAllocateMemory@20.

I am looking to libndis.a (nm libndis.a) and see that
there is function NdisAllocateMemory@16.

I know that @X is stdcall convention of naming
functions names (X is number bytes of bytes stored on
stack for function?).

I think that in libndis.a is wrong function name (must
be @20 but is @16).

When looking to MS DDK to ndis.lib function names is
without
@X.

May this be fixed?

Thanks

Vladimir Michl