Changing NONSTD system build target to ACL2_REAL.