tcolorbox really needs pgf