Uses Jextract to dump all included symbols of a library header into an arg file
The location of the generated arg file