I use the same HP4100 driver for an F4180, without a hitch. Instead of using the hpijs driver, try downloading the PPD file from that link, and when you go to set up a new printer in CUPS (through a web-browser at
http://localhost:631 is my preferred method), there is the option to supply your own PPD file - point it to the location of the downloaded PPD.
With CUPS and driver support, version numbers are usually a little off, but work nonetheless.