names in the source code (they already had those for the linker,
through some smart macros; but the source still had the old, un-Py names).