Fix os-dependent symbol prefix