But opsrecv and friends were never officially installed, so took care of
that too (conditional on PELABSUPPORT in the defs file).