patch for std lib