Use ubuntu-12.04.3 as basename