Re: [boost] boost_check_library.py: correct handling of header-only libs?