OS: have a little abstraction for file system stuff, required for android port