gprbuild fails to include a file needed for gnatcoll...