jvppgen: update headers