also add -fwrapv to CFLAGS (addresses #698908)