More compact Verilator build script