optional code is now handled by gnatlib git-svn-id: svn+ssh://svn.eu/Dev/trunk/gps@108110 936e1b1b-40f2-da11-902a-00137254ae57