boost is only needed for chai4, so remove from default