header regenerated from updated script in rcpp-scripts repo