fix a date formatting bug in Build
minor bug-fixes for command line build interface
Merge branch 'master' into dev