make strict bytestring compatible with name-resolution branch in fixpoint