support for gprbuild 2014-1