As we're directly writing strings into our C code we should make sure to quote them

In these cases it is very unlikely to be an issue, but rather safe than sorry of course.