add missing unordered_set header to boost