diff --git a/OPTIONS b/OPTIONS
deleted file mode 100644
index e69de29bb2d1d6434b8b29ae775ad8c2e48c5391..0000000000000000000000000000000000000000
diff --git a/util/recent_changes.sh b/util/recent_changes.sh
index a899575a0be5c5272fcd790d8c7cd60329407e85..f7007729792b078e106a48e1ede3d1ce16fc720d 100644
--- a/util/recent_changes.sh
+++ b/util/recent_changes.sh
@@ -6,18 +6,15 @@
 # License, v. 2.0. If a copy of the MPL was not distributed with this
 # file, You can obtain one at http://mozilla.org/MPL/2.0/.
 
-# $Id$
-
 # Find the list of files that have been touched in the Git repository
 # during the current calendar year.  This is done by walking backwards
 # through the output of "git whatchanged" until a year other than the
 # current one is seen.  Used by merge_copyrights.
 
 thisyear=`date +%Y`
-git whatchanged --pretty="date %ai" --date=iso8601 | awk -v re="${thisyear}-" '
+when="`expr $thisyear - 1`-12-31"
+git whatchanged --since="$when" --pretty="" | awk '
     BEGIN { change=0 }
-    $1 == "date" && $2 !~ re { exit(0); }
-    $1 == "date" { next; }
     NF == 0 { next; }
     $(NF-1) ~ /[AM]/ { print "./" $NF; change=1 }
     END { if (change) print "./COPYRIGHT" } ' | sort | uniq