Properly use Android's version of *dprintf