Configuring a systems time - which files to edit?