Fix incorrect cast
Add precise-updates to Ubuntu repository list in Dockerfile