Anyone knows where I get them? Or better yet does someone have a sources.list entry that makes them apt-gettable?