Is it what you get from the command prompt? :) I'm somehow on 1.8.4.4 from the same ppa :)