fabian/prod: links for devin-tools