Ref #380: enhancements for dynamic_arch