Use ubuntu-12.04.3 as basename

12.04 is not anymore available.