--- infdump.py.orig	Tue Aug  7 16:40:17 2007
+++ infdump.py	Tue Aug  7 16:40:51 2007
@@ -1,4 +1,4 @@
-#!/usr/bin/env python
+#! @PYTHON_CMD@
 # -*- Mode: Python; tab-width: 4 -*-
 #
 # Inf Cache dumper