Fixing version.cpp