Make printf debugging switchable, because it affects 'make test'