for issue #3491: removing double quote in HEADER_SEARCH_PATHS value