Never write a section symbol into the ksplice_symbol name.