root/release: links for randomplusplus-tools