diff --git a/contrib/filter_gcc_for_doxygen b/contrib/filter_gcc_for_doxygen
index d1109a50c88..d3670604b01 100755
--- a/contrib/filter_gcc_for_doxygen
+++ b/contrib/filter_gcc_for_doxygen
@@ -8,5 +8,5 @@
 # process is put on stdout.
 
 dir=`dirname $0`
-python $dir/filter_params.py $1
+env python3 $dir/filter_params.py $1
 exit 0
diff --git a/contrib/filter_params.py b/contrib/filter_params.py
index a82a8d5728c..359d28b07d2 100644
--- a/contrib/filter_params.py
+++ b/contrib/filter_params.py
@@ -1,4 +1,4 @@
-#!/usr/bin/python
+#!/usr/bin/env python3
 """
 Filters out some of the #defines used throughout the GCC sources:
 - GTY(()) marks declarations for gengtype.c