boost-devel in platform; not needed here