Fix make check and make distcheck with waveforms.