tweaks to install-pandoc for 32-bit debian system with no existing packages