Ensure our printf arguments don't suffer from word splitting