Put hardcoded human2mouse_symbol back.