Cherry-pick "Merge branch 'TimeStampFix-1.0-20181008' into '1.0'" into master
Build Time Fix, 1.0 branch (2018.10.08.)
See merge request !357 (merged)
(cherry picked from commit 4a7c2c3a)
- f2adc8ff Make sure that the build time is expressed in local time.