Add GPL licence to headers.
David Alda.