/patch-configure/1.2/Wed Nov  9 22:23:42 2011//
/patch-vbnc_vbnc_Makefile/1.1/Wed Nov  9 22:25:29 2011//
/patch-vbnc_vbnc_tests_Makefile/1.2/Wed Nov  9 22:23:42 2011//
/patch-vbruntime_Test_Makefile/1.3/Wed Nov  9 22:23:42 2011//
D
