Oops, missed a file when adding GPLv3 copyright headers.
Dead code removal.