realworld/prod: links for ibex-server-common