Bug#913371: gnat-gps fails to build on 32-bit kernels, address space exhaustion.

[Ludovic Brenta]

I think this is the best way forward.

--
Ludovic Brenta.