Add patched version of time