When I posted my article on adb I forgot to explicitly state the name of the file that I changed. Well the file is: /usr/src/bin/adb/runpcs.c. Sorry about that (please forgive me, I didn't mean to do it . . . really!)