File System API for dotc