Fix spec of `File.copy/3` (#15539)