delete --with-boost