Add boost header to version.cpp