core: Eliminate a shadowed variable

Vala is fine with this but GCC complains. Let’s keep GCC happy.
core: Add [PrintfFormat] attributes to some internal debug methods
core: Remove an excess parameter from a printf()-format function call