Is it ok if we don't start the file with the GPL header?