upgrade to new Dart IO API