Fix program in vmtest.