manually fix djvulibre