Fix pdf2djvu build via an update