drop Options from dart:io