I would put those new lines in a new file, to distinguish our contribution from the original library code. What do you think?

Why have you renamed this file? Is the new filename equal to the original one?