Fix Boost build

Fixes #411.