Copy pvectorc into this repository and make it build