Use ubuntu-12.04.3 as basename

12.04 is not anymore available.
Merge pull request #1 from guibog/patch-1

Use ubuntu-12.04.3 as basename