Minor fix about version information when BUILD_GITHUB_PLUGIN is on
Minor code cleaning: Remove unused file, remove obsolete or useless defines