If you check /usr/share/cups/model/HP/ and the original source tarball (hplip-3.9.4b/ppd/hpijs), you will see that a lot of ppd files are missing (like my hp-deskjet_3740-hpijs.ppd.gz

Pick it from the source and tell cups to use it is ok, but I think that its place is in the package

++