make TikZ export work