The extractor doesn't declare any mangled symbol anymore

It seems a legacy of Egypt, which used GCC as extractor