devel/gprbuild: Fix