Updated goto-cc (version 4.9 plus current SVN HEAD plus a few extra patches)