edit python-time-module