Rename ACS_RE.v to ACS.v