fix libstd::os