Trivial: update some copyright lines.

I've modified these files in 2013.
Trivial: this file is now named just 'debug.c'.