Update axtls.diff according to the edit in config.h