Found that HP has an universal printer driver. However, that one cannot detect which type my printer is, nor does manually specifying the device type have any effect.
Settled on installing a LJ-4050 printer PS driver instead, which seems to work but does not match the hardware.