Tweak devel/gprbuild-aux version 20101120