binary_package "gmpxx" { build_info { library "gmpxx"; }; header "gmpxx.h"; };