waf: generate some missing header files