install pdf2htmlEX on deployment
pdf2htmlex installation fixed, fixed minor problem when e.g. grub needs update