gcc 4.8.3

Kills the ``` --HEAD ``` option. Mirrors Homebrew/Homebrew in deciding to do away with the HEAD, in the name of stability. No other changes made.