Links for rkt-tool-lib