use version.cpp
remove changes to kernel