Editing File: /usr/bin/time