fixed the AttributeError by removing int demodulator in frame_length_detector.h