Fixes for asm/disasm command-line tools; better handling of includes/section header flags