Update gnu-time.rb