[gtkada] Latest Release minor bug with Win32 Port

[Arnaud Charlet]

> To fix it, edit the file install.bat and find the line that says:

Thanks for the fix, this will be incorporated in the next version of
GtkAda !

Arno