Use according Ubuntu mirror when building for precise

Fixes #1