add gprbuild version