Also use __builtin_extract_return_addr in these files.