switch, viz '-fno-alias'. Since we have a separate code path here anyway, it's just as easy to cooperate.
