OFStateManager: fix biglist include