--- airt/mod_dumper/dismod.pl.orig	2005-07-19 20:40:29.000000000 +1000
+++ airt/mod_dumper/dismod.pl	2005-07-19 20:43:21.000000000 +1000
@@ -19,7 +19,7 @@
 close FH;
 $os_ver = `uname -r`;
 chomp $os_ver;
-while(</boot/System.map*>){
+while(</boot/System.map-$os_ver /lib/modules/$os_ver/source/System.map /lib/modules/$os_ver/build/System.map /boot/System.map>){
 	chomp;
 	print $_ . "\n";
 	$file_tmp = $_;
@@ -32,5 +32,5 @@
 	}
 }
 $symbol_file = $file_tmp if($symbol_file eq "");
-$output = `./dismod -s $base_addr -l $dis_size -t $symbol_file`;
+$output = `/usr/sbin/dismod -s $base_addr -l $dis_size -t $symbol_file`;
 print $output;