Re: [boost] [config] missing BOOST_HAS_STDINT_H for PGI