realworld/prod: links for cryptochaos-lib