bugfixed ‘print build time as part of version number if edge release’ feature.