What is the nickname butch short for?

Originally Butch was a abbreviation of Butcher.

As a boy's nickname, Butch was just an old-school, generic nickname ala Buster and Spike. The Butch I know in real life is actually named Alan.