new File API: fixes