Removed header already implemented by Boost.