fixing linking issues in agree and resolute with the newest release of osate