I would recommend against fumbling with the Makefile.
Why don't you just add a "(void) desttmp[0];" somewhere in the code (as already suggested)?
Because I don't like this solution, it makes the driver code even less readable and it's not really fixing the problem. Anyway, I let Alan decide what to do, sooner or later somebody else bumps into this problem, too.