get rid of some unusued hardcoded names
get rid of some unusued hardcoded names

Ignore-this: d14edd7b58dad95b1b56399286d31091

darcs-hash:20100722115634-1a7c6-a8b13b700115a64cdfb855126d8e174a19516019

kirbyfan64/jhc,kirbyfan64/jhc,kirbyfan64/jhc,kirbyfan64/jhc