some more stdlib changes