Fix build of config fetch utility on Linux. #4018