Without this, we strcmp a null pointer if no theme is set in the
configuration file.