Fix problems when using --with-boost