Use PaperHouse to build libtrema*.