Links for indi-3rdparty-indi-armadillo-platypus