Any one tried to rebuild RPM package from the source RPM? The spec file lists /tmp/ivl/usr/man/man1/iverilog.1.gz and /tmp/ivl/usr/man/man1/vvp.1.gz. But they are actually bz2 files now. I think it's easy to correct the spec file.