Fix issue #1

set correct apt source for Ubuntu 12.04 (precise pangolin)