Don't pass prebuilt strings directly as printf-format expected arguments