Use IPath#toFile()