jvppgen: update headers

No match.