Changed verilator version from 3.904 to 3.920, which fixes a bug that prevented the default example to compile correctly