switched to compiled openbadges library.