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

[Nicolas Boulenguez]

Package: src:gnat-gps
Followup-For: Bug #913371

In case this helps: 18-3 managed to build on i386.
https://buildd.debian.org/status/fetch.php?pkg=gnat-gps&arch=i386&ver=18-3&stamp=1542064776&raw=0