http://beecoder.org/en/linux/how-to-install-libgnatcoll16-1-0-in-linux