reindent
replaced usage of deprecated time api on osx