Remove an obsolete header file specific to labpc(4) (which was removed).