reddcoin-project/reddcore-lib not found