Compiling vpi/check_version.c... Making check_version.vpi from check_version.o... The two versions matched!