No functional change, but the HEADERS_3_9 option will go away by the time 3.9 is no longer supported, possibly leading to breakage. Signed-off-by: Peter Korsgaard <peter@korsgaard.com>