Compute size of ASTs; build tweaks for native code

The header says it all...