Issue building with Nix

[siraben]

When I build the book with Nix, it builds successfully but there are some visual artifacts, for instance the cover page:

I'm using the following Nix files:

tex-env.nix

```nix # Generated with tex2nix 0.0.0 { texlive, extraTexPackages ? {} }: (texlive.combine ({ inherit (texlive) scheme-small; "bussproofs" = texlive."bussproofs"; "fancyvrb" = texlive."fancyvrb"; "colortbl" = texlive."colortbl"; "catchfile" = texlive."catchfile"; "microtype" = texlive."microtype"; "pdfescape" = texlive."pdfescape"; "fvextra" = texlive."fvextra"; "letltxmacro" = texlive."letltxmacro"; "pgf" = texlive."pgf"; "etexcmds" = texlive."etexcmds"; "graphics" = texlive."graphics"; "amsfonts" = texlive."amsfonts"; "pdftexcmds" = texlive."pdftexcmds"; "url" = texlive."url"; "everyshi" = texlive."everyshi"; "xcolor" = texlive."xcolor"; "listings" = texlive."listings"; "enumitem" = texlive."enumitem"; "upquote" = texlive."upquote"; "relsize" = texlive."relsize"; "needspace" = texlive."needspace"; "booktabs" = texlive."booktabs"; "xkeyval" = texlive."xkeyval"; "fancyhdr" = texlive."fancyhdr"; "hopatch" = texlive."hopatch"; "babel" = texlive."babel"; "ntheorem" = texlive."ntheorem"; "mdframed" = texlive."mdframed"; "fp" = texlive."fp"; "hycolor" = texlive."hycolor"; "etoolbox" = texlive."etoolbox"; "auxhook" = texlive."auxhook"; "trimspaces" = texlive."trimspaces"; "minted" = texlive."minted"; "uniquecounter" = texlive."uniquecounter"; "multirow" = texlive."multirow"; "framed" = texlive."framed"; "amsmath" = texlive."amsmath"; "bitset" = texlive."bitset"; "infwarerr" = texlive."infwarerr"; "exercise" = texlive."exercise"; "lipsum" = texlive."lipsum"; "listingsutf8" = texlive."listingsutf8"; "marvosym" = texlive."marvosym"; "kvoptions" = texlive."kvoptions"; "gettitlestring" = texlive."gettitlestring"; "stringenc" = texlive."stringenc"; "kvdefinekeys" = texlive."kvdefinekeys"; "geometry" = texlive."geometry"; "finstrut" = texlive."finstrut"; "lineno" = texlive."lineno"; "type1cm" = texlive."type1cm"; "ltxcmds" = texlive."ltxcmds"; "refcount" = texlive."refcount"; "hyperref" = texlive."hyperref"; "tcolorbox" = texlive."tcolorbox"; "iftex" = texlive."iftex"; "logreq" = texlive."logreq"; "intcalc" = texlive."intcalc"; "ae" = texlive."ae"; "wrapfig" = texlive."wrapfig"; "atveryend" = texlive."atveryend"; "minitoc" = texlive."minitoc"; "environ" = texlive."environ"; "ulem" = texlive."ulem"; "imakeidx" = texlive."imakeidx"; "csquotes" = texlive."csquotes"; "bookmark" = texlive."bookmark"; "kvsetkeys" = texlive."kvsetkeys"; "atbegshi" = texlive."atbegshi"; "ifplatform" = texlive."ifplatform"; "xstring" = texlive."xstring"; "rerunfilecheck" = texlive."rerunfilecheck"; "biblatex" = texlive."biblatex"; "float" = texlive."float"; "titlesec" = texlive."titlesec"; "zref" = texlive."zref"; "rsfs" = texlive."rsfs"; } // extraTexPackages)) ```

shell.nix

```coq with import {}; mkShell { buildInputs = [ (pkgs.callPackage ./tex-env.nix {}) ]; } ```

Pinging another Nix + Coq users @vbgl @CohenCyril

[siraben]

If resolved I can add a GitHub Actions to produce the book PDF on every commit, similar to @gliptak's comment in #15.

[siraben]

After some investigation I had to run biber main then make one more time for it to work.