version pinned correctly

Version is now pinned corectly in apt-get, and other efficiently improvements by @tianon.