bbdevs/private: links for randomplusplus-tools