root/public: links for randomplusplus-tools