fix a name clash with a macro under Android