Add version.c containing various useful symbols