Link to the local verification library