No frequency information in ChipWhisperer Capture V2

I recently built openadc and interfaced it with Papilio Pro FPGA board. The setup is working as I did manage to reproduce the simple serial example included in the github. The only minor problem I have is that the ChipWhisperer Capture V2 program will not show any clock frequency information (ADC, FPGA clock, freq. counter). So, where should I look at first?

p.s. Thank you Colin to publish this nice ADC board.