fix build number

@yilongli please review. This fixes a bug causing an exception to be thrown when running kompile/kast/krun/ktest --version