helpers for obtaining verilator and VERILATOR_ROOT