added version 12.04.2 of Ubuntu
Merge branch 'master' of https://github.com/berendt/oz