Removes a kludge.

Removes an underscore from the beginning of the name of a file whose
name differs from that of another file only by case since I’ve moved
all of my local development stuff into a case-sensitive sparse image
(curse OS X’s default lack of case sensitivity!)