Fix building using [texbuild](https://github.com/pbiggar/texbuild)