get rid of DEFAULT_ALIGN from ike format