Add File.truncate