[PD-dev] Compiling an external with stdc++ on Linux