Okular default
shell-escape build
badbox log