issue #47: updating ipic help: configurable XLEN