GPL v3 license in headers