lib/replace: define __[u]intptr_t_defined if we prove an replacement