add ubuntu-12.04 to file name